منابع مشابه
Mathematizing C++ Concurrency: The Post-Rapperswil Model
In this paper we describe a rigorous semantics for C++ concurrency. To the best of our knowledge, this captures the intent of the Final Committee Draft (N3092) text, modified as discussed at the Rapperswil meeting of the C++ Standards Committee in July 2010. We discuss some issues with the N3092 text that led to those changes. To make our semantics mathematically precise and unambigous, we expr...
متن کاملOperational Aspects of C/C++ Concurrency
Relaxed memory models define the behavior of concurrent programs, executed on modern multiprocessors. Existing semantics for modelling relaxed concurrency in C/C++ adopt the axiomatic style, defining program executions via orders between read/write events. This representation of executions poses challenges for employing such semantics for testing, debugging and symbolic execution of programs. W...
متن کاملBounded Inconsistency for Type - Speci c Concurrency
The traditional correctness criterion of serializability in databases is considered too restrictive especially when databases are used to model advanced applications. In general, two approaches are adopted to address this problem. The rst approach considers placing more structure on data objects to exploit type speciic properties while keeping serializability as the correctness criterion. The o...
متن کاملABC++: Concurrency by Inheritance in C++
Many attempts have been made to add concurrency to C ++ , but much of the work has not exploited the power of C ++ , and often extensive compiler extensions are made. This paper shows how the object-oriented facilities of C ++ are powerful enough to encapsulate concurrency creation and control. We have developed a concurrent C ++-based system which we call ABC ++. We show how we can provide, wi...
متن کاملLibrary Abstraction for C / C + + Concurrency — extended version —
When constructing complex concurrent systems, abstraction is vi-tal: programmers should be able to reason about concurrent li-braries in terms of abstract specifications that hide the implementa-tion details. Relaxed memory models present substantial challengesin this respect, as libraries need not provide sequentially consistentabstractions: to avoid unnecessary synchronisa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2011
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1925844.1926394